Nuprl Definition : es-state-after
0,22
postcript
pdf
state after
e
== 2of(when-after(
e
;es_info(
es
);es-pred?(
es
);es_init(
es
);es-Trans(
es
);es_val(
es
)))
latex
clarification:
es-state-after(
es
;
e
)
== 2of(when-after(
e
;es_info(
es
);es-pred?(
es
);es_init(
es
);es-Trans(
es
);es_val(
es
)))
latex
Definitions
2of(
t
)
,
when-after(
e
;
info
;
pred?
;
init
;
Trans
;
val
)
,
es_info(
es
)
,
es-pred?(
es
)
,
es_init(
es
)
,
es-Trans(
es
)
,
es_val(
es
)
FDL editor aliases
es-state-after
origin